Stability Analysis for Hybrid Automata Using Conservative Gains
نویسندگان
چکیده
This paper presents a stability analysis approach for a class of hybrid automata. It is assumed that the dynamics in each location of the hybrid automaton is linear and asymptotically stable, and that the guards on the transitions are hyperplanes in the state space. For each pair of ingoing and outgoing transitions in a location a conservative estimate is made of the gain via a Lyapunov function for the dynamics in that location. It is shown how the choice of the Lyapunov function can be optimized to obtain the best possible estimate. The calculated conservative gains are used in defining a so-called gain automaton that forms the basis of an algorithmic criterion for the stability of the hybrid automaton. Copyright c ©2003 IFAC
منابع مشابه
Decision Algorithm for the Stability of Planar Switching Linear Systems
This paper presents a decision algorithm for the analysis of the stability of a class of planar switched linear systems, modeled by hybrid automata. The dynamics in each location of the hybrid automaton is assumed to be linear and asymptotically stable; the guards on the transitions are hyper planes in the state space. We show that for every pair of an ingoing and an outgoing transition related...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDynamical properties of hybrid automata
Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the initial state is characterized. The results ...
متن کاملStability analysis of nonlinear hybrid delayed systems described by impulsive fuzzy differential equations
In this paper we introduce some stability criteria of nonlinear hybrid systems with time delay described by impulsive hybrid fuzzy system of differential equations. Firstly, a comparison principle for fuzzy differential system based on a notion of upper quasi-monotone nondecreasing is presented. Here, for stability analysis of fuzzy dynamical systems, vector Lyapunov-like functions are defined....
متن کاملModeling and Analysis of Hybrid Control Systems
We propose a formal approach to the modeling and analysis of hybrid control systems. The approach consists of the interleaved phases of hybrid dynamic system modeling, requirements speciication, hybrid control design and overall behavior veriication. We have developed Constraint Nets as a semantic model for hybrid dynamic systems. Using this model, continuous, discrete and event-driven componen...
متن کامل